<?php
include_once "db.php";
	
	if (is_numeric($_GET[os_id]))
    mysql_query ("DELETE FROM operating_system WHERE os_id = '$_GET[os_id]'");
 	header("Location: os.php");
  
?>